#include <gmlib/number/uint256.h>

#include <stdexcept>
#include <cstring>

using namespace number;

void test_uint256_add_carry_uint32()
{
    uint256_t    augend, sum;
    int          carry;
    std::uint8_t sum_data[32];

    static std::uint8_t  augend0[32] = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x18,0x18,0xe8,0x11};
    static std::uint32_t addend0     = 1862494042;
    static std::uint8_t  sum0[32]    = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x87,0x1c,0x4f,0x6b};
    static int           carry0      = 0;
    uint256_from_bytes(augend, augend0);
    carry = uint256_add_carry_uint32(sum, augend, addend0);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum0, sum_data, 32) != 0 || carry0 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend1[32] = {0x90,0xc1,0x92,0xcf,0xd3,0xac,0x94,0xaf,0x0f,0x21,0xdd,0xb6,0x6c,0xad,0x4a,0x26,0x8d,0x11,0x6e,0xce,0x17,0x38,0xf7,0xd9,0x3d,0x9c,0x17,0x24,0x11,0xe2,0x0b,0x8f};
    static std::uint32_t addend1     = 4069265501;
    static std::uint8_t  sum1[32]    = {0x90,0xc1,0x92,0xcf,0xd3,0xac,0x94,0xaf,0x0f,0x21,0xdd,0xb6,0x6c,0xad,0x4a,0x26,0x8d,0x11,0x6e,0xce,0x17,0x38,0xf7,0xd9,0x3d,0x9c,0x17,0x25,0x04,0x6e,0x1b,0xec};
    static int           carry1      = 0;
    uint256_from_bytes(augend, augend1);
    carry = uint256_add_carry_uint32(sum, augend, addend1);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum1, sum_data, 32) != 0 || carry1 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend2[32] = {0x65,0x8c,0xda,0x14,0x95,0xe6,0x0a,0xf5,0x93,0xbd,0x04,0xcf,0x0f,0xd6,0x30,0xf1,0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb5,0xa1,0x70,0xb3,0x38};
    static std::uint32_t addend2     = 4192983756;
    static std::uint8_t  sum2[32]    = {0x65,0x8c,0xda,0x14,0x95,0xe6,0x0a,0xf5,0x93,0xbd,0x04,0xcf,0x0f,0xd6,0x30,0xf1,0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb6,0x9b,0x5c,0x8e,0x04};
    static int           carry2      = 0;
    uint256_from_bytes(augend, augend2);
    carry = uint256_add_carry_uint32(sum, augend, addend2);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum2, sum_data, 32) != 0 || carry2 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend3[32] = {0x8a,0x6a,0x63,0xec,0x24,0xed,0xe6,0xa4,0x6b,0x4c,0xb2,0x42,0x4a,0x23,0xd5,0x96,0x22,0x17,0xbe,0xad,0xdb,0xc4,0x96,0xcb,0x8e,0x81,0x97,0x3e,0x0b,0xec,0xd7,0xb0};
    static std::uint32_t addend3     = 2452055640;
    static std::uint8_t  sum3[32]    = {0x8a,0x6a,0x63,0xec,0x24,0xed,0xe6,0xa4,0x6b,0x4c,0xb2,0x42,0x4a,0x23,0xd5,0x96,0x22,0x17,0xbe,0xad,0xdb,0xc4,0x96,0xcb,0x8e,0x81,0x97,0x3e,0x9e,0x14,0x3e,0x08};
    static int           carry3      = 0;
    uint256_from_bytes(augend, augend3);
    carry = uint256_add_carry_uint32(sum, augend, addend3);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum3, sum_data, 32) != 0 || carry3 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend4[32] = {0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f,0x8f,0x6d,0x05,0x58};
    static std::uint32_t addend4     = 1599435267;
    static std::uint8_t  sum4[32]    = {0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f,0xee,0xc2,0x77,0x5b};
    static int           carry4      = 0;
    uint256_from_bytes(augend, augend4);
    carry = uint256_add_carry_uint32(sum, augend, addend4);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum4, sum_data, 32) != 0 || carry4 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend5[32] = {0x74,0x03,0xe4,0x30,0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x88,0x1e,0xd1,0x62};
    static std::uint32_t addend5     = 1287489453;
    static std::uint8_t  sum5[32]    = {0x74,0x03,0xe4,0x30,0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0xd4,0xdc,0x59,0x0f};
    static int           carry5      = 0;
    uint256_from_bytes(augend, augend5);
    carry = uint256_add_carry_uint32(sum, augend, addend5);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum5, sum_data, 32) != 0 || carry5 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend6[32] = {0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc,0x49,0xb6,0x4a,0x08,0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x7e,0xbf,0xf2,0x06};
    static std::uint32_t addend6     = 1795823848;
    static std::uint8_t  sum6[32]    = {0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc,0x49,0xb6,0x4a,0x08,0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0xe9,0xca,0x0a,0xee};
    static int           carry6      = 0;
    uint256_from_bytes(augend, augend6);
    carry = uint256_add_carry_uint32(sum, augend, addend6);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum6, sum_data, 32) != 0 || carry6 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend7[32] = {0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a,0xc3,0xba,0xea,0x9e,0x13,0xde,0xef,0x86};
    static std::uint32_t addend7     = 2986270863;
    static std::uint8_t  sum7[32]    = {0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a,0xc3,0xba,0xea,0x9e,0xc5,0xdd,0xd0,0x15};
    static int           carry7      = 0;
    uint256_from_bytes(augend, augend7);
    carry = uint256_add_carry_uint32(sum, augend, addend7);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum7, sum_data, 32) != 0 || carry7 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend8[32] = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x29,0x45,0x1a,0xbd,0x81};
    static std::uint32_t addend8     = 3530140069;
    static std::uint8_t  sum8[32]    = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x2a,0x17,0x84,0x67,0x26};
    static int           carry8      = 0;
    uint256_from_bytes(augend, augend8);
    carry = uint256_add_carry_uint32(sum, augend, addend8);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum8, sum_data, 32) != 0 || carry8 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend9[32] = {0xf0,0xce,0x58,0x35,0x05,0xc6,0xaf,0x07,0x58,0xd5,0x56,0x3d,0xab,0x2c,0xd3,0x1e,0xe3,0x15,0x12,0x88,0x62,0xc3,0x3a,0x4f,0xb7,0x74,0xeb,0x52,0x48,0xdb,0x40,0xaf};
    static std::uint32_t addend9     = 1526706729;
    static std::uint8_t  sum9[32]    = {0xf0,0xce,0x58,0x35,0x05,0xc6,0xaf,0x07,0x58,0xd5,0x56,0x3d,0xab,0x2c,0xd3,0x1e,0xe3,0x15,0x12,0x88,0x62,0xc3,0x3a,0x4f,0xb7,0x74,0xeb,0x52,0xa3,0xda,0xf2,0xd8};
    static int           carry9      = 0;
    uint256_from_bytes(augend, augend9);
    carry = uint256_add_carry_uint32(sum, augend, addend9);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum9, sum_data, 32) != 0 || carry9 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend10[32] = {0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50,0x3f,0x63,0xaf,0x83};
    static std::uint32_t addend10     = 2363175007;
    static std::uint8_t  sum10[32]    = {0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50,0xcc,0x3e,0xdf,0xe2};
    static int           carry10      = 0;
    uint256_from_bytes(augend, augend10);
    carry = uint256_add_carry_uint32(sum, augend, addend10);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum10, sum_data, 32) != 0 || carry10 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend11[32] = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xb4,0xd6,0x6a,0x3a};
    static std::uint32_t addend11     = 648200381;
    static std::uint8_t  sum11[32]    = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xdb,0x79,0x2a,0xf7};
    static int           carry11      = 0;
    uint256_from_bytes(augend, augend11);
    carry = uint256_add_carry_uint32(sum, augend, addend11);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum11, sum_data, 32) != 0 || carry11 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend12[32] = {0x64,0xe5,0x0c,0xad,0x66,0x23,0x7a,0x04,0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0xdf,0xe0,0x18,0x93};
    static std::uint32_t addend12     = 1719888006;
    static std::uint8_t  sum12[32]    = {0x64,0xe5,0x0c,0xad,0x66,0x23,0x7a,0x04,0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x80,0x46,0x63,0x81,0x19};
    static int           carry12      = 0;
    uint256_from_bytes(augend, augend12);
    carry = uint256_add_carry_uint32(sum, augend, addend12);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum12, sum_data, 32) != 0 || carry12 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend13[32] = {0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16,0x00,0x0f,0x49,0xc8,0x1a,0x35,0x8c,0xa0,0x0d,0x75,0x98,0x5d};
    static std::uint32_t addend13     = 2635981472;
    static std::uint8_t  sum13[32]    = {0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16,0x00,0x0f,0x49,0xc8,0x1a,0x35,0x8c,0xa0,0xaa,0x93,0x7a,0xfd};
    static int           carry13      = 0;
    uint256_from_bytes(augend, augend13);
    carry = uint256_add_carry_uint32(sum, augend, addend13);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum13, sum_data, 32) != 0 || carry13 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend14[32] = {0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65,0x57,0xb6,0xfb,0x7e};
    static std::uint32_t addend14     = 1553714997;
    static std::uint8_t  sum14[32]    = {0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65,0xb4,0x52,0xca,0xb3};
    static int           carry14      = 0;
    uint256_from_bytes(augend, augend14);
    carry = uint256_add_carry_uint32(sum, augend, addend14);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum14, sum_data, 32) != 0 || carry14 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend15[32] = {0xe8,0x83,0xa1,0xd4,0x5d,0xe0,0x09,0x97,0x84,0xb5,0xa8,0x18,0x42,0xd8,0x72,0x08,0xd8,0x6f,0x40,0xf6,0xb2,0x39,0xf3,0xc7,0x17,0x4c,0x77,0xa2,0xdd,0x02,0xde,0x92};
    static std::uint32_t addend15     = 2159067275;
    static std::uint8_t  sum15[32]    = {0xe8,0x83,0xa1,0xd4,0x5d,0xe0,0x09,0x97,0x84,0xb5,0xa8,0x18,0x42,0xd8,0x72,0x08,0xd8,0x6f,0x40,0xf6,0xb2,0x39,0xf3,0xc7,0x17,0x4c,0x77,0xa3,0x5d,0xb3,0x9f,0x1d};
    static int           carry15      = 0;
    uint256_from_bytes(augend, augend15);
    carry = uint256_add_carry_uint32(sum, augend, addend15);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum15, sum_data, 32) != 0 || carry15 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend16[32] = {0xda,0x45,0xe1,0x8a,0xc2,0x21,0x6b,0x02,0xfc,0x24,0x1d,0x0b,0xc9,0xd4,0x88,0xb1,0xcf,0xbf,0x33,0x60,0x9c,0xfc,0x86,0x52,0x39,0x19,0x42,0x42,0xa2,0xed,0xdb,0xbd};
    static std::uint32_t addend16     = 3462081170;
    static std::uint8_t  sum16[32]    = {0xda,0x45,0xe1,0x8a,0xc2,0x21,0x6b,0x02,0xfc,0x24,0x1d,0x0b,0xc9,0xd4,0x88,0xb1,0xcf,0xbf,0x33,0x60,0x9c,0xfc,0x86,0x52,0x39,0x19,0x42,0x43,0x71,0x49,0x06,0x4f};
    static int           carry16      = 0;
    uint256_from_bytes(augend, augend16);
    carry = uint256_add_carry_uint32(sum, augend, addend16);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum16, sum_data, 32) != 0 || carry16 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend17[32] = {0x7e,0x26,0xf3,0x6a,0x84,0x83,0xf8,0xb8,0x33,0x2d,0xd3,0x31,0x3a,0x0b,0x99,0x65,0xcd,0xa6,0xc6,0xfd,0xbd,0x68,0x51,0x67,0x66,0x93,0x40,0x36,0xd1,0x7e,0x44,0x97};
    static std::uint32_t addend17     = 3139638261;
    static std::uint8_t  sum17[32]    = {0x7e,0x26,0xf3,0x6a,0x84,0x83,0xf8,0xb8,0x33,0x2d,0xd3,0x31,0x3a,0x0b,0x99,0x65,0xcd,0xa6,0xc6,0xfd,0xbd,0x68,0x51,0x67,0x66,0x93,0x40,0x37,0x8c,0xa1,0x58,0x8c};
    static int           carry17      = 0;
    uint256_from_bytes(augend, augend17);
    carry = uint256_add_carry_uint32(sum, augend, addend17);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum17, sum_data, 32) != 0 || carry17 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend18[32] = {0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05,0xf9,0x79,0xd0,0x4a};
    static std::uint32_t addend18     = 877776915;
    static std::uint8_t  sum18[32]    = {0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x06,0x2d,0xcb,0xa0,0x5d};
    static int           carry18      = 0;
    uint256_from_bytes(augend, augend18);
    carry = uint256_add_carry_uint32(sum, augend, addend18);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum18, sum_data, 32) != 0 || carry18 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend19[32] = {0xe8,0xe7,0x27,0x89,0x1e,0xb2,0x01,0x09,0xa9,0x1c,0x24,0x39,0xd5,0xab,0x8b,0x4d,0x15,0xb4,0x0a,0xeb,0xa4,0xa4,0x5e,0xff,0xcc,0xb5,0x73,0xd9,0x58,0x10,0xd6,0x0e};
    static std::uint32_t addend19     = 3221828754;
    static std::uint8_t  sum19[32]    = {0xe8,0xe7,0x27,0x89,0x1e,0xb2,0x01,0x09,0xa9,0x1c,0x24,0x39,0xd5,0xab,0x8b,0x4d,0x15,0xb4,0x0a,0xeb,0xa4,0xa4,0x5e,0xff,0xcc,0xb5,0x73,0xda,0x18,0x1a,0x0a,0xa0};
    static int           carry19      = 0;
    uint256_from_bytes(augend, augend19);
    carry = uint256_add_carry_uint32(sum, augend, addend19);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum19, sum_data, 32) != 0 || carry19 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend20[32] = {0xf2,0x61,0x49,0xed,0xbe,0x4c,0x5c,0xe6,0x66,0xc1,0x49,0x4e,0x76,0x91,0xb0,0x6f,0x65,0x55,0xab,0xfe,0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0xf2,0x37,0xe4,0x5a};
    static std::uint32_t addend20     = 3112986562;
    static std::uint8_t  sum20[32]    = {0xf2,0x61,0x49,0xed,0xbe,0x4c,0x5c,0xe6,0x66,0xc1,0x49,0x4e,0x76,0x91,0xb0,0x6f,0x65,0x55,0xab,0xfe,0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x32,0xab,0xc4,0x4c,0x1c};
    static int           carry20      = 0;
    uint256_from_bytes(augend, augend20);
    carry = uint256_add_carry_uint32(sum, augend, addend20);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum20, sum_data, 32) != 0 || carry20 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend21[32] = {0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15,0x31,0xde,0xc4,0xf4,0xdf,0x2a,0x8b,0x79};
    static std::uint32_t addend21     = 2152474070;
    static std::uint8_t  sum21[32]    = {0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15,0x31,0xde,0xc4,0xf5,0x5f,0x76,0xb1,0x4f};
    static int           carry21      = 0;
    uint256_from_bytes(augend, augend21);
    carry = uint256_add_carry_uint32(sum, augend, addend21);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum21, sum_data, 32) != 0 || carry21 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend22[32] = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0xc3,0x80,0x84,0xa0};
    static std::uint32_t addend22     = 2154565813;
    static std::uint8_t  sum22[32]    = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0e,0x43,0xec,0x95,0x55};
    static int           carry22      = 0;
    uint256_from_bytes(augend, augend22);
    carry = uint256_add_carry_uint32(sum, augend, addend22);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum22, sum_data, 32) != 0 || carry22 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend23[32] = {0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19,0x26,0xde,0xbf,0xdb,0x88,0x25,0xae,0x56};
    static std::uint32_t addend23     = 2613722295;
    static std::uint8_t  sum23[32]    = {0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19,0x26,0xde,0xbf,0xdc,0x23,0xef,0xeb,0x0d};
    static int           carry23      = 0;
    uint256_from_bytes(augend, augend23);
    carry = uint256_add_carry_uint32(sum, augend, addend23);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum23, sum_data, 32) != 0 || carry23 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend24[32] = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0xc6,0xaa,0x7d,0x55};
    static std::uint32_t addend24     = 2390044639;
    static std::uint8_t  sum24[32]    = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x47,0x55,0x1f,0xad,0x34};
    static int           carry24      = 0;
    uint256_from_bytes(augend, augend24);
    carry = uint256_add_carry_uint32(sum, augend, addend24);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum24, sum_data, 32) != 0 || carry24 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend25[32] = {0xc6,0xc8,0x0e,0x2b,0xc8,0xc6,0x14,0xb2,0x7b,0x84,0x44,0xd1,0x8e,0x31,0x70,0x41,0x87,0xdd,0xae,0xb7,0x84,0xb2,0x80,0x54,0xae,0xad,0x44,0xb0,0x53,0x73,0x90,0xe5};
    static std::uint32_t addend25     = 244051092;
    static std::uint8_t  sum25[32]    = {0xc6,0xc8,0x0e,0x2b,0xc8,0xc6,0x14,0xb2,0x7b,0x84,0x44,0xd1,0x8e,0x31,0x70,0x41,0x87,0xdd,0xae,0xb7,0x84,0xb2,0x80,0x54,0xae,0xad,0x44,0xb0,0x61,0xff,0x7d,0x79};
    static int           carry25      = 0;
    uint256_from_bytes(augend, augend25);
    carry = uint256_add_carry_uint32(sum, augend, addend25);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum25, sum_data, 32) != 0 || carry25 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend26[32] = {0x8f,0xcd,0x7f,0x40,0x73,0xc1,0xcd,0x2c,0x81,0xf9,0x8b,0x52,0x19,0x05,0xd5,0x91,0xc5,0xb2,0xe7,0x5a,0x0a,0xcd,0x8b,0xe1,0x46,0xe4,0x09,0x90,0x30,0xf9,0x70,0x58};
    static std::uint32_t addend26     = 3919106286;
    static std::uint8_t  sum26[32]    = {0x8f,0xcd,0x7f,0x40,0x73,0xc1,0xcd,0x2c,0x81,0xf9,0x8b,0x52,0x19,0x05,0xd5,0x91,0xc5,0xb2,0xe7,0x5a,0x0a,0xcd,0x8b,0xe1,0x46,0xe4,0x09,0x91,0x1a,0x92,0x41,0x46};
    static int           carry26      = 0;
    uint256_from_bytes(augend, augend26);
    carry = uint256_add_carry_uint32(sum, augend, addend26);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum26, sum_data, 32) != 0 || carry26 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend27[32] = {0xf1,0x06,0x37,0xce,0x81,0xfc,0x06,0x9e,0x7a,0x60,0x96,0x83,0xce,0xaf,0x49,0x15,0x88,0x85,0x64,0xe8,0x82,0x16,0x85,0x8f,0x73,0xcc,0xef,0x03,0x46,0xf5,0xa1,0xb4};
    static std::uint32_t addend27     = 4051301074;
    static std::uint8_t  sum27[32]    = {0xf1,0x06,0x37,0xce,0x81,0xfc,0x06,0x9e,0x7a,0x60,0x96,0x83,0xce,0xaf,0x49,0x15,0x88,0x85,0x64,0xe8,0x82,0x16,0x85,0x8f,0x73,0xcc,0xef,0x04,0x38,0x6f,0x94,0x86};
    static int           carry27      = 0;
    uint256_from_bytes(augend, augend27);
    carry = uint256_add_carry_uint32(sum, augend, addend27);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum27, sum_data, 32) != 0 || carry27 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend28[32] = {0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4,0x1f,0x22,0x9d,0xd0,0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0xd7,0x0a,0x39,0xd1};
    static std::uint32_t addend28     = 2882590715;
    static std::uint8_t  sum28[32]    = {0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4,0x1f,0x22,0x9d,0xd0,0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbe,0x82,0xdb,0x11,0xcc};
    static int           carry28      = 0;
    uint256_from_bytes(augend, augend28);
    carry = uint256_add_carry_uint32(sum, augend, addend28);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum28, sum_data, 32) != 0 || carry28 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend29[32] = {0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3,0xfd,0x68,0x37,0x3b,0x29,0xac,0xf1,0xa5,0x7c,0xbd,0x1f,0x5a};
    static std::uint32_t addend29     = 1734349671;
    static std::uint8_t  sum29[32]    = {0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3,0xfd,0x68,0x37,0x3b,0x29,0xac,0xf1,0xa5,0xe4,0x1d,0x32,0xc1};
    static int           carry29      = 0;
    uint256_from_bytes(augend, augend29);
    carry = uint256_add_carry_uint32(sum, augend, addend29);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum29, sum_data, 32) != 0 || carry29 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend30[32] = {0x04,0xfc,0xd5,0x55,0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96,0x6b,0xd8,0xc6,0x76};
    static std::uint32_t addend30     = 2379627705;
    static std::uint8_t  sum30[32]    = {0x04,0xfc,0xd5,0x55,0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96,0xf9,0xaf,0x03,0x2f};
    static int           carry30      = 0;
    uint256_from_bytes(augend, augend30);
    carry = uint256_add_carry_uint32(sum, augend, addend30);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum30, sum_data, 32) != 0 || carry30 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend31[32] = {0x2e,0x7a,0x26,0xe9,0xc7,0x6c,0x60,0x3f,0xe7,0xe8,0xf9,0xf6,0x0a,0x22,0x73,0x85,0x45,0x9c,0x94,0x5c,0x43,0xfc,0x05,0x27,0x15,0x85,0x0a,0x03,0x1a,0xd2,0xd5,0xf1};
    static std::uint32_t addend31     = 3246035554;
    static std::uint8_t  sum31[32]    = {0x2e,0x7a,0x26,0xe9,0xc7,0x6c,0x60,0x3f,0xe7,0xe8,0xf9,0xf6,0x0a,0x22,0x73,0x85,0x45,0x9c,0x94,0x5c,0x43,0xfc,0x05,0x27,0x15,0x85,0x0a,0x03,0xdc,0x4d,0x68,0x53};
    static int           carry31      = 0;
    uint256_from_bytes(augend, augend31);
    carry = uint256_add_carry_uint32(sum, augend, addend31);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum31, sum_data, 32) != 0 || carry31 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend32[32] = {0x42,0x34,0x33,0x54,0xf2,0x2d,0x28,0x82,0xd1,0xa8,0x9b,0x37,0xad,0x0c,0x9b,0xb6,0xe9,0x52,0x6a,0x69,0xd9,0x7e,0x96,0x7b,0x6c,0x18,0xd9,0x82,0xd1,0xdc,0xec,0x53};
    static std::uint32_t addend32     = 2450686540;
    static std::uint8_t  sum32[32]    = {0x42,0x34,0x33,0x54,0xf2,0x2d,0x28,0x82,0xd1,0xa8,0x9b,0x37,0xad,0x0c,0x9b,0xb6,0xe9,0x52,0x6a,0x69,0xd9,0x7e,0x96,0x7b,0x6c,0x18,0xd9,0x83,0x63,0xef,0x6e,0x9f};
    static int           carry32      = 0;
    uint256_from_bytes(augend, augend32);
    carry = uint256_add_carry_uint32(sum, augend, addend32);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum32, sum_data, 32) != 0 || carry32 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend33[32] = {0x2e,0xef,0xa2,0x79,0xb0,0x2e,0x3d,0x8d,0xcc,0xb1,0xc5,0x1d,0x0e,0xba,0x0e,0xa8,0x47,0x70,0xa0,0x87,0x16,0xe6,0xfe,0xc3,0x53,0xb9,0x73,0x77,0xb3,0x4e,0x8e,0xce};
    static std::uint32_t addend33     = 3845220704;
    static std::uint8_t  sum33[32]    = {0x2e,0xef,0xa2,0x79,0xb0,0x2e,0x3d,0x8d,0xcc,0xb1,0xc5,0x1d,0x0e,0xba,0x0e,0xa8,0x47,0x70,0xa0,0x87,0x16,0xe6,0xfe,0xc3,0x53,0xb9,0x73,0x78,0x98,0x7f,0xf8,0x2e};
    static int           carry33      = 0;
    uint256_from_bytes(augend, augend33);
    carry = uint256_add_carry_uint32(sum, augend, addend33);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum33, sum_data, 32) != 0 || carry33 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend34[32] = {0x02,0xf4,0xb3,0x42,0x74,0x2a,0x80,0x63,0x1f,0x26,0x42,0xaa,0xdc,0xde,0xd2,0x04,0x43,0xb3,0x0f,0x66,0x11,0x0e,0x2c,0xb6,0x38,0xef,0xba,0xeb,0xdb,0x31,0xcc,0xd2};
    static std::uint32_t addend34     = 3931727770;
    static std::uint8_t  sum34[32]    = {0x02,0xf4,0xb3,0x42,0x74,0x2a,0x80,0x63,0x1f,0x26,0x42,0xaa,0xdc,0xde,0xd2,0x04,0x43,0xb3,0x0f,0x66,0x11,0x0e,0x2c,0xb6,0x38,0xef,0xba,0xec,0xc5,0x8b,0x34,0x6c};
    static int           carry34      = 0;
    uint256_from_bytes(augend, augend34);
    carry = uint256_add_carry_uint32(sum, augend, addend34);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum34, sum_data, 32) != 0 || carry34 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend35[32] = {0xa0,0xf0,0x96,0xda,0x4f,0xde,0xbb,0xec,0xee,0xa7,0xbb,0x64,0x33,0xa7,0x15,0x68,0x2e,0x5f,0x95,0x0c,0x0c,0xe5,0xaf,0x69,0x43,0x0b,0x91,0xed,0x29,0x54,0xba,0x5c};
    static std::uint32_t addend35     = 884211552;
    static std::uint8_t  sum35[32]    = {0xa0,0xf0,0x96,0xda,0x4f,0xde,0xbb,0xec,0xee,0xa7,0xbb,0x64,0x33,0xa7,0x15,0x68,0x2e,0x5f,0x95,0x0c,0x0c,0xe5,0xaf,0x69,0x43,0x0b,0x91,0xed,0x5e,0x08,0xb9,0xbc};
    static int           carry35      = 0;
    uint256_from_bytes(augend, augend35);
    carry = uint256_add_carry_uint32(sum, augend, addend35);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum35, sum_data, 32) != 0 || carry35 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend36[32] = {0xfa,0x61,0x97,0x74,0x8d,0x11,0x8e,0x37,0x81,0x72,0x8a,0x07,0xbb,0xab,0x27,0xf6,0x04,0xb8,0x15,0x7d,0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0x40,0x1d,0x68,0xfb};
    static std::uint32_t addend36     = 2208622121;
    static std::uint8_t  sum36[32]    = {0xfa,0x61,0x97,0x74,0x8d,0x11,0x8e,0x37,0x81,0x72,0x8a,0x07,0xbb,0xab,0x27,0xf6,0x04,0xb8,0x15,0x7d,0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0xc3,0xc2,0x4f,0x24};
    static int           carry36      = 0;
    uint256_from_bytes(augend, augend36);
    carry = uint256_add_carry_uint32(sum, augend, addend36);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum36, sum_data, 32) != 0 || carry36 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend37[32] = {0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd,0x23,0xc4,0x9c,0xae,0xa2,0xcf,0x62,0xba};
    static std::uint32_t addend37     = 61225318;
    static std::uint8_t  sum37[32]    = {0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd,0x23,0xc4,0x9c,0xae,0xa6,0x75,0x9c,0x20};
    static int           carry37      = 0;
    uint256_from_bytes(augend, augend37);
    carry = uint256_add_carry_uint32(sum, augend, addend37);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum37, sum_data, 32) != 0 || carry37 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend38[32] = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0xd7,0x5d,0x67,0x69};
    static std::uint32_t addend38     = 2975061660;
    static std::uint8_t  sum38[32]    = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x78,0x00,0x88,0xb1,0x3e,0x05};
    static int           carry38      = 0;
    uint256_from_bytes(augend, augend38);
    carry = uint256_add_carry_uint32(sum, augend, addend38);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum38, sum_data, 32) != 0 || carry38 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend39[32] = {0x43,0x63,0xe5,0xd9,0x00,0xed,0x6b,0x02,0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x59,0x0b,0x94,0xaf,0x3a};
    static std::uint32_t addend39     = 4130841704;
    static std::uint8_t  sum39[32]    = {0x43,0x63,0xe5,0xd9,0x00,0xed,0x6b,0x02,0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x5a,0x01,0xcc,0x53,0xa2};
    static int           carry39      = 0;
    uint256_from_bytes(augend, augend39);
    carry = uint256_add_carry_uint32(sum, augend, addend39);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum39, sum_data, 32) != 0 || carry39 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend40[32] = {0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11,0x3e,0x94,0x0b,0xb4,0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xf8,0xfd,0xd2,0x08};
    static std::uint32_t addend40     = 935726744;
    static std::uint8_t  sum40[32]    = {0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11,0x3e,0x94,0x0b,0xb4,0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xaa,0x30,0xc3,0xe0,0xa0};
    static int           carry40      = 0;
    uint256_from_bytes(augend, augend40);
    carry = uint256_add_carry_uint32(sum, augend, addend40);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum40, sum_data, 32) != 0 || carry40 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend41[32] = {0xd1,0x29,0xd0,0x67,0x43,0xa0,0x8f,0x06,0x17,0x42,0x0e,0x94,0x01,0x44,0x70,0x2b,0xc6,0xb7,0x89,0xef,0x81,0x36,0x5a,0xcc,0x3f,0x88,0xaf,0x59,0x33,0x73,0x6d,0xcc};
    static std::uint32_t addend41     = 617896092;
    static std::uint8_t  sum41[32]    = {0xd1,0x29,0xd0,0x67,0x43,0xa0,0x8f,0x06,0x17,0x42,0x0e,0x94,0x01,0x44,0x70,0x2b,0xc6,0xb7,0x89,0xef,0x81,0x36,0x5a,0xcc,0x3f,0x88,0xaf,0x59,0x58,0x47,0xc6,0x68};
    static int           carry41      = 0;
    uint256_from_bytes(augend, augend41);
    carry = uint256_add_carry_uint32(sum, augend, addend41);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum41, sum_data, 32) != 0 || carry41 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend42[32] = {0x3b,0x99,0x68,0x70,0xa1,0x32,0x0b,0x9d,0x4d,0xe2,0xf8,0xad,0x4c,0xb5,0x9a,0xa7,0x05,0xc2,0x2d,0x3f,0x64,0xdb,0xc8,0xd3,0x0a,0xaa,0xaf,0x81,0x96,0x38,0x92,0xa7};
    static std::uint32_t addend42     = 3223547465;
    static std::uint8_t  sum42[32]    = {0x3b,0x99,0x68,0x70,0xa1,0x32,0x0b,0x9d,0x4d,0xe2,0xf8,0xad,0x4c,0xb5,0x9a,0xa7,0x05,0xc2,0x2d,0x3f,0x64,0xdb,0xc8,0xd3,0x0a,0xaa,0xaf,0x82,0x56,0x5c,0x00,0xf0};
    static int           carry42      = 0;
    uint256_from_bytes(augend, augend42);
    carry = uint256_add_carry_uint32(sum, augend, addend42);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum42, sum_data, 32) != 0 || carry42 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend43[32] = {0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d,0xc8,0xb6,0xea,0xff,0xb7,0x4b,0x58,0x9b,0xe4,0x8e,0x9e,0x02,0xa8,0x54,0xc8,0x34};
    static std::uint32_t addend43     = 2122533124;
    static std::uint8_t  sum43[32]    = {0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d,0xc8,0xb6,0xea,0xff,0xb7,0x4b,0x58,0x9b,0xe4,0x8e,0x9e,0x03,0x26,0xd8,0x11,0x38};
    static int           carry43      = 0;
    uint256_from_bytes(augend, augend43);
    carry = uint256_add_carry_uint32(sum, augend, addend43);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum43, sum_data, 32) != 0 || carry43 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend44[32] = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0xe4,0x56,0x55,0x9c};
    static std::uint32_t addend44     = 2761190677;
    static std::uint8_t  sum44[32]    = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x86,0x88,0xea,0xc2,0xb1};
    static int           carry44      = 0;
    uint256_from_bytes(augend, augend44);
    carry = uint256_add_carry_uint32(sum, augend, addend44);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum44, sum_data, 32) != 0 || carry44 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend45[32] = {0x1a,0xdb,0xce,0x5d,0xf5,0xa2,0xd8,0x79,0x5c,0x57,0x53,0x2b,0xa3,0x1a,0x49,0xdd,0x22,0x12,0x65,0x40,0x0a,0xb7,0x79,0x88,0x07,0xfa,0x22,0xf7,0x15,0xc8,0x91,0xff};
    static std::uint32_t addend45     = 3589824707;
    static std::uint8_t  sum45[32]    = {0x1a,0xdb,0xce,0x5d,0xf5,0xa2,0xd8,0x79,0x5c,0x57,0x53,0x2b,0xa3,0x1a,0x49,0xdd,0x22,0x12,0x65,0x40,0x0a,0xb7,0x79,0x88,0x07,0xfa,0x22,0xf7,0xeb,0xc0,0xf2,0xc2};
    static int           carry45      = 0;
    uint256_from_bytes(augend, augend45);
    carry = uint256_add_carry_uint32(sum, augend, addend45);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum45, sum_data, 32) != 0 || carry45 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend46[32] = {0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01,0xa0,0x50,0x60,0x98,0x04,0xd2,0xbe,0x09,0xa0,0xb5,0x58,0x64,0x0c,0xff,0xf0,0x54,0x8e,0xfb,0xa4,0x42};
    static std::uint32_t addend46     = 1132981883;
    static std::uint8_t  sum46[32]    = {0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01,0xa0,0x50,0x60,0x98,0x04,0xd2,0xbe,0x09,0xa0,0xb5,0x58,0x64,0x0c,0xff,0xf0,0x54,0xd2,0x83,0x92,0xbd};
    static int           carry46      = 0;
    uint256_from_bytes(augend, augend46);
    carry = uint256_add_carry_uint32(sum, augend, addend46);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum46, sum_data, 32) != 0 || carry46 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend47[32] = {0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa,0x11,0xf2,0xd4,0x4d,0xcc,0x35,0xe8,0x34,0x74,0xfa,0x94,0x12};
    static std::uint32_t addend47     = 3164481770;
    static std::uint8_t  sum47[32]    = {0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa,0x11,0xf2,0xd4,0x4d,0xcc,0x35,0xe8,0x35,0x31,0x98,0xbc,0xfc};
    static int           carry47      = 0;
    uint256_from_bytes(augend, augend47);
    carry = uint256_add_carry_uint32(sum, augend, addend47);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum47, sum_data, 32) != 0 || carry47 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend48[32] = {0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73,0x3c,0x1a,0xe9,0x17,0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5e,0x40,0x8f,0xc1,0x46};
    static std::uint32_t addend48     = 1977145508;
    static std::uint8_t  sum48[32]    = {0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73,0x3c,0x1a,0xe9,0x17,0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5e,0xb6,0x68,0x99,0xea};
    static int           carry48      = 0;
    uint256_from_bytes(augend, augend48);
    carry = uint256_add_carry_uint32(sum, augend, addend48);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum48, sum_data, 32) != 0 || carry48 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend49[32] = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0xd8,0x74,0xbc,0x79};
    static std::uint32_t addend49     = 2760645980;
    static std::uint8_t  sum49[32]    = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd2,0x7d,0x00,0xd9,0xd5};
    static int           carry49      = 0;
    uint256_from_bytes(augend, augend49);
    carry = uint256_add_carry_uint32(sum, augend, addend49);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum49, sum_data, 32) != 0 || carry49 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend50[32] = {0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3,0x41,0x02,0x3a,0xed,0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x13,0xd5,0x31,0x6f};
    static std::uint32_t addend50     = 573124782;
    static std::uint8_t  sum50[32]    = {0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3,0x41,0x02,0x3a,0xed,0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x35,0xfe,0x62,0x1d};
    static int           carry50      = 0;
    uint256_from_bytes(augend, augend50);
    carry = uint256_add_carry_uint32(sum, augend, addend50);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum50, sum_data, 32) != 0 || carry50 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend51[32] = {0xb1,0x33,0x0c,0x3f,0x19,0x7a,0x14,0xe2,0xac,0x08,0x4b,0xa5,0xf8,0xf6,0x59,0xac,0x44,0xce,0x4a,0xb3,0x7c,0x5d,0x42,0xdc,0x0f,0x87,0x7a,0xe3,0x7b,0x7f,0xec,0x4b};
    static std::uint32_t addend51     = 2902142302;
    static std::uint8_t  sum51[32]    = {0xb1,0x33,0x0c,0x3f,0x19,0x7a,0x14,0xe2,0xac,0x08,0x4b,0xa5,0xf8,0xf6,0x59,0xac,0x44,0xce,0x4a,0xb3,0x7c,0x5d,0x42,0xdc,0x0f,0x87,0x7a,0xe4,0x28,0x7b,0x19,0xa9};
    static int           carry51      = 0;
    uint256_from_bytes(augend, augend51);
    carry = uint256_add_carry_uint32(sum, augend, addend51);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum51, sum_data, 32) != 0 || carry51 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend52[32] = {0xc4,0x65,0x3c,0xde,0x77,0x62,0x00,0xb5,0x77,0x45,0x10,0xca,0x76,0xf4,0x25,0x1e,0x49,0x19,0x61,0xa1,0x84,0x3b,0xae,0xe9,0xb5,0x78,0x90,0x9c,0x4a,0x75,0x91,0xf2};
    static std::uint32_t addend52     = 2358265662;
    static std::uint8_t  sum52[32]    = {0xc4,0x65,0x3c,0xde,0x77,0x62,0x00,0xb5,0x77,0x45,0x10,0xca,0x76,0xf4,0x25,0x1e,0x49,0x19,0x61,0xa1,0x84,0x3b,0xae,0xe9,0xb5,0x78,0x90,0x9c,0xd7,0x05,0xd9,0x30};
    static int           carry52      = 0;
    uint256_from_bytes(augend, augend52);
    carry = uint256_add_carry_uint32(sum, augend, addend52);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum52, sum_data, 32) != 0 || carry52 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend53[32] = {0x75,0x7f,0x1c,0xba,0x4a,0x22,0x7f,0x39,0x04,0x7b,0x2c,0x10,0x79,0x12,0xef,0x4a,0xef,0xae,0x5d,0x4e,0x15,0xfa,0x8b,0x65,0xfa,0x66,0x72,0xcd,0x4f,0xc9,0xe9,0x18};
    static std::uint32_t addend53     = 1153874069;
    static std::uint8_t  sum53[32]    = {0x75,0x7f,0x1c,0xba,0x4a,0x22,0x7f,0x39,0x04,0x7b,0x2c,0x10,0x79,0x12,0xef,0x4a,0xef,0xae,0x5d,0x4e,0x15,0xfa,0x8b,0x65,0xfa,0x66,0x72,0xcd,0x94,0x90,0xa1,0xad};
    static int           carry53      = 0;
    uint256_from_bytes(augend, augend53);
    carry = uint256_add_carry_uint32(sum, augend, addend53);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum53, sum_data, 32) != 0 || carry53 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend54[32] = {0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24,0x35,0xf1,0x03,0x00,0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x35,0xb7,0xe4,0x48};
    static std::uint32_t addend54     = 1544270863;
    static std::uint8_t  sum54[32]    = {0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24,0x35,0xf1,0x03,0x00,0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x91,0xc3,0x98,0x57};
    static int           carry54      = 0;
    uint256_from_bytes(augend, augend54);
    carry = uint256_add_carry_uint32(sum, augend, addend54);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum54, sum_data, 32) != 0 || carry54 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend55[32] = {0xb4,0x0d,0xe5,0x6d,0x1c,0xd8,0x6f,0xc1,0xe3,0x09,0x66,0x19,0x47,0x91,0xc2,0xe9,0x82,0x3d,0x11,0xed,0xa1,0xb5,0x01,0xd6,0xd1,0xf9,0xbd,0xfe,0x9a,0x76,0x2d,0x54};
    static std::uint32_t addend55     = 993785023;
    static std::uint8_t  sum55[32]    = {0xb4,0x0d,0xe5,0x6d,0x1c,0xd8,0x6f,0xc1,0xe3,0x09,0x66,0x19,0x47,0x91,0xc2,0xe9,0x82,0x3d,0x11,0xed,0xa1,0xb5,0x01,0xd6,0xd1,0xf9,0xbd,0xfe,0xd5,0xb2,0x22,0x13};
    static int           carry55      = 0;
    uint256_from_bytes(augend, augend55);
    carry = uint256_add_carry_uint32(sum, augend, addend55);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum55, sum_data, 32) != 0 || carry55 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend56[32] = {0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11,0x28,0xb8,0x80,0x73,0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0xe5,0xd0,0x0a,0x4d};
    static std::uint32_t addend56     = 2927398665;
    static std::uint8_t  sum56[32]    = {0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11,0x28,0xb8,0x80,0x73,0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xcf,0x94,0x4c,0x99,0x56};
    static int           carry56      = 0;
    uint256_from_bytes(augend, augend56);
    carry = uint256_add_carry_uint32(sum, augend, addend56);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum56, sum_data, 32) != 0 || carry56 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend57[32] = {0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb,0x24,0x05,0x63,0x60,0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc7,0x67,0xc9,0x8f,0xb9};
    static std::uint32_t addend57     = 3608764809;
    static std::uint8_t  sum57[32]    = {0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb,0x24,0x05,0x63,0x60,0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc8,0x3e,0xe2,0xf1,0x42};
    static int           carry57      = 0;
    uint256_from_bytes(augend, augend57);
    carry = uint256_add_carry_uint32(sum, augend, addend57);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum57, sum_data, 32) != 0 || carry57 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend58[32] = {0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05,0xb6,0x88,0xb6,0x61,0x32,0x1c,0x17,0x44};
    static std::uint32_t addend58     = 1687489986;
    static std::uint8_t  sum58[32]    = {0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05,0xb6,0x88,0xb6,0x61,0x96,0xb1,0x25,0x06};
    static int           carry58      = 0;
    uint256_from_bytes(augend, augend58);
    carry = uint256_add_carry_uint32(sum, augend, addend58);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum58, sum_data, 32) != 0 || carry58 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend59[32] = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0xff,0xb0,0xdd,0x9e};
    static std::uint32_t addend59     = 3668998441;
    static std::uint8_t  sum59[32]    = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe8,0xda,0x61,0x56,0xc7};
    static int           carry59      = 0;
    uint256_from_bytes(augend, augend59);
    carry = uint256_add_carry_uint32(sum, augend, addend59);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum59, sum_data, 32) != 0 || carry59 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend60[32] = {0xef,0x82,0xd1,0xa3,0xa2,0x8c,0xf7,0xb1,0x49,0x1e,0x99,0xf5,0xa9,0x77,0x66,0xfb,0xd5,0xad,0x53,0x60,0x0d,0x36,0xce,0x2c,0x1a,0x09,0xa8,0x40,0x47,0xd7,0xdf,0x79};
    static std::uint32_t addend60     = 1141293139;
    static std::uint8_t  sum60[32]    = {0xef,0x82,0xd1,0xa3,0xa2,0x8c,0xf7,0xb1,0x49,0x1e,0x99,0xf5,0xa9,0x77,0x66,0xfb,0xd5,0xad,0x53,0x60,0x0d,0x36,0xce,0x2c,0x1a,0x09,0xa8,0x40,0x8b,0xde,0x9f,0xcc};
    static int           carry60      = 0;
    uint256_from_bytes(augend, augend60);
    carry = uint256_add_carry_uint32(sum, augend, addend60);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum60, sum_data, 32) != 0 || carry60 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend61[32] = {0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b,0xb8,0x35,0xe8,0xa5,0x34,0x14,0x5e,0x87,0x8c,0x9a,0x37,0x51};
    static std::uint32_t addend61     = 3734383213;
    static std::uint8_t  sum61[32]    = {0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b,0xb8,0x35,0xe8,0xa5,0x34,0x14,0x5e,0x88,0x6b,0x30,0x61,0xbe};
    static int           carry61      = 0;
    uint256_from_bytes(augend, augend61);
    carry = uint256_add_carry_uint32(sum, augend, addend61);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum61, sum_data, 32) != 0 || carry61 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend62[32] = {0x78,0xe1,0x0e,0x70,0x2b,0xb7,0x1c,0x68,0x20,0x97,0x79,0x8c,0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x7c,0x4e,0xa6,0x03};
    static std::uint32_t addend62     = 1476020709;
    static std::uint8_t  sum62[32]    = {0x78,0xe1,0x0e,0x70,0x2b,0xb7,0x1c,0x68,0x20,0x97,0x79,0x8c,0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0xd4,0x48,0xef,0xe8};
    static int           carry62      = 0;
    uint256_from_bytes(augend, augend62);
    carry = uint256_add_carry_uint32(sum, augend, addend62);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum62, sum_data, 32) != 0 || carry62 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend63[32] = {0x8c,0xe6,0x21,0xef,0x7f,0x40,0x5b,0xc8,0xcf,0xd3,0xdd,0x72,0xe7,0xec,0xfd,0x0c,0x80,0x27,0xa2,0xa2,0x35,0x37,0x22,0x35,0x13,0x3e,0x61,0x53,0x29,0x62,0x59,0xc8};
    static std::uint32_t addend63     = 3260944719;
    static std::uint8_t  sum63[32]    = {0x8c,0xe6,0x21,0xef,0x7f,0x40,0x5b,0xc8,0xcf,0xd3,0xdd,0x72,0xe7,0xec,0xfd,0x0c,0x80,0x27,0xa2,0xa2,0x35,0x37,0x22,0x35,0x13,0x3e,0x61,0x53,0xeb,0xc0,0x6b,0x17};
    static int           carry63      = 0;
    uint256_from_bytes(augend, augend63);
    carry = uint256_add_carry_uint32(sum, augend, addend63);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum63, sum_data, 32) != 0 || carry63 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend64[32] = {0x86,0x2f,0xe2,0x31,0xbe,0xef,0x67,0xfb,0x69,0xf4,0x46,0x12,0x62,0x01,0xa9,0xd3,0x69,0xac,0x0f,0x03,0xde,0xe0,0xa8,0x43,0xbf,0xe9,0x8f,0x8c,0x05,0x24,0x13,0x7f};
    static std::uint32_t addend64     = 1618626354;
    static std::uint8_t  sum64[32]    = {0x86,0x2f,0xe2,0x31,0xbe,0xef,0x67,0xfb,0x69,0xf4,0x46,0x12,0x62,0x01,0xa9,0xd3,0x69,0xac,0x0f,0x03,0xde,0xe0,0xa8,0x43,0xbf,0xe9,0x8f,0x8c,0x65,0x9e,0x5a,0xb1};
    static int           carry64      = 0;
    uint256_from_bytes(augend, augend64);
    carry = uint256_add_carry_uint32(sum, augend, addend64);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum64, sum_data, 32) != 0 || carry64 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend65[32] = {0x5c,0x32,0x7a,0x6d,0xf7,0xba,0x38,0xb6,0x93,0x04,0x10,0x6e,0x47,0x0b,0x4f,0xad,0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd7,0x56,0x94,0x7a,0x7a};
    static std::uint32_t addend65     = 3644847894;
    static std::uint8_t  sum65[32]    = {0x5c,0x32,0x7a,0x6d,0xf7,0xba,0x38,0xb6,0x93,0x04,0x10,0x6e,0x47,0x0b,0x4f,0xad,0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd8,0x2f,0xd4,0x71,0x90};
    static int           carry65      = 0;
    uint256_from_bytes(augend, augend65);
    carry = uint256_add_carry_uint32(sum, augend, addend65);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum65, sum_data, 32) != 0 || carry65 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend66[32] = {0x72,0x23,0xc6,0x8a,0xa5,0x52,0x9b,0x05,0x66,0x56,0x7b,0xc4,0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc0,0x17,0xb4,0x83,0x4c};
    static std::uint32_t addend66     = 4097156467;
    static std::uint8_t  sum66[32]    = {0x72,0x23,0xc6,0x8a,0xa5,0x52,0x9b,0x05,0x66,0x56,0x7b,0xc4,0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc1,0x0b,0xea,0x28,0xbf};
    static int           carry66      = 0;
    uint256_from_bytes(augend, augend66);
    carry = uint256_add_carry_uint32(sum, augend, addend66);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum66, sum_data, 32) != 0 || carry66 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend67[32] = {0x00,0x0b,0xb5,0xf9,0x7d,0x65,0x21,0x35,0x96,0x51,0x32,0xd6,0xf7,0xe1,0x47,0xfd,0x79,0x28,0x1c,0x19,0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe6,0xc3,0x81,0x3c,0xe6};
    static std::uint32_t addend67     = 3674184203;
    static std::uint8_t  sum67[32]    = {0x00,0x0b,0xb5,0xf9,0x7d,0x65,0x21,0x35,0x96,0x51,0x32,0xd6,0xf7,0xe1,0x47,0xfd,0x79,0x28,0x1c,0x19,0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe7,0x9e,0x80,0xd6,0xf1};
    static int           carry67      = 0;
    uint256_from_bytes(augend, augend67);
    carry = uint256_add_carry_uint32(sum, augend, addend67);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum67, sum_data, 32) != 0 || carry67 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend68[32] = {0xc3,0x8b,0x48,0xa2,0xb2,0xd6,0x43,0xa2,0x6f,0xfb,0x72,0x6a,0xa2,0xe3,0xf9,0x3a,0x87,0x3b,0x99,0x03,0x40,0x75,0x91,0x6e,0xa0,0x60,0x84,0x6c,0x20,0xc2,0x6f,0x71};
    static std::uint32_t addend68     = 427112113;
    static std::uint8_t  sum68[32]    = {0xc3,0x8b,0x48,0xa2,0xb2,0xd6,0x43,0xa2,0x6f,0xfb,0x72,0x6a,0xa2,0xe3,0xf9,0x3a,0x87,0x3b,0x99,0x03,0x40,0x75,0x91,0x6e,0xa0,0x60,0x84,0x6c,0x3a,0x37,0xa6,0x22};
    static int           carry68      = 0;
    uint256_from_bytes(augend, augend68);
    carry = uint256_add_carry_uint32(sum, augend, addend68);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum68, sum_data, 32) != 0 || carry68 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend69[32] = {0x0e,0x28,0xb6,0x4f,0x4e,0xb1,0x9f,0xca,0xa6,0x4f,0x76,0x13,0xb4,0x64,0x2e,0xa4,0x69,0x6c,0x63,0xd6,0xf5,0xea,0xd0,0x65,0x07,0x7e,0xf3,0x2a,0x3f,0x3f,0x37,0xea};
    static std::uint32_t addend69     = 833718554;
    static std::uint8_t  sum69[32]    = {0x0e,0x28,0xb6,0x4f,0x4e,0xb1,0x9f,0xca,0xa6,0x4f,0x76,0x13,0xb4,0x64,0x2e,0xa4,0x69,0x6c,0x63,0xd6,0xf5,0xea,0xd0,0x65,0x07,0x7e,0xf3,0x2a,0x70,0xf0,0xc1,0x04};
    static int           carry69      = 0;
    uint256_from_bytes(augend, augend69);
    carry = uint256_add_carry_uint32(sum, augend, addend69);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum69, sum_data, 32) != 0 || carry69 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend70[32] = {0xaa,0xd7,0xc7,0xc0,0x3a,0x53,0xc1,0x76,0x41,0xdb,0x89,0x8e,0x14,0xc2,0x73,0x2a,0x6b,0x86,0x29,0x0b,0xa5,0xac,0xd3,0x41,0xac,0xa9,0x9f,0xd0,0xe2,0x85,0x6e,0xc6};
    static std::uint32_t addend70     = 3973535499;
    static std::uint8_t  sum70[32]    = {0xaa,0xd7,0xc7,0xc0,0x3a,0x53,0xc1,0x76,0x41,0xdb,0x89,0x8e,0x14,0xc2,0x73,0x2a,0x6b,0x86,0x29,0x0b,0xa5,0xac,0xd3,0x41,0xac,0xa9,0x9f,0xd1,0xcf,0x5c,0xc5,0xd1};
    static int           carry70      = 0;
    uint256_from_bytes(augend, augend70);
    carry = uint256_add_carry_uint32(sum, augend, addend70);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum70, sum_data, 32) != 0 || carry70 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend71[32] = {0x81,0x3f,0xb5,0xcd,0xd8,0x5b,0xbb,0x6b,0xbd,0x37,0x92,0x9d,0x4a,0xc7,0xcc,0xc3,0xcc,0x0c,0x66,0x82,0x01,0xba,0x98,0x5a,0x32,0xb5,0x58,0xfd,0x65,0x77,0xbb,0x54};
    static std::uint32_t addend71     = 881407128;
    static std::uint8_t  sum71[32]    = {0x81,0x3f,0xb5,0xcd,0xd8,0x5b,0xbb,0x6b,0xbd,0x37,0x92,0x9d,0x4a,0xc7,0xcc,0xc3,0xcc,0x0c,0x66,0x82,0x01,0xba,0x98,0x5a,0x32,0xb5,0x58,0xfd,0x9a,0x00,0xef,0xec};
    static int           carry71      = 0;
    uint256_from_bytes(augend, augend71);
    carry = uint256_add_carry_uint32(sum, augend, addend71);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum71, sum_data, 32) != 0 || carry71 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend72[32] = {0x77,0x11,0xb7,0x57,0x3b,0x16,0x49,0x43,0x31,0xa5,0x9c,0x4a,0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0xf8,0x48,0xa9,0x56};
    static std::uint32_t addend72     = 3819659907;
    static std::uint8_t  sum72[32]    = {0x77,0x11,0xb7,0x57,0x3b,0x16,0x49,0x43,0x31,0xa5,0x9c,0x4a,0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xb0,0xdb,0xf4,0x0b,0xd9};
    static int           carry72      = 0;
    uint256_from_bytes(augend, augend72);
    carry = uint256_add_carry_uint32(sum, augend, addend72);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum72, sum_data, 32) != 0 || carry72 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend73[32] = {0x39,0x2b,0xc5,0x52,0xe5,0x7f,0x76,0x91,0x2f,0xf3,0xc2,0x3c,0x9c,0x2f,0x67,0x23,0x7e,0xea,0x6f,0xe1,0x9f,0xa4,0x0d,0xd6,0xf3,0xb1,0x7a,0xf0,0x1b,0xe7,0xf3,0xcf};
    static std::uint32_t addend73     = 2857417071;
    static std::uint8_t  sum73[32]    = {0x39,0x2b,0xc5,0x52,0xe5,0x7f,0x76,0x91,0x2f,0xf3,0xc2,0x3c,0x9c,0x2f,0x67,0x23,0x7e,0xea,0x6f,0xe1,0x9f,0xa4,0x0d,0xd6,0xf3,0xb1,0x7a,0xf0,0xc6,0x38,0xad,0x3e};
    static int           carry73      = 0;
    uint256_from_bytes(augend, augend73);
    carry = uint256_add_carry_uint32(sum, augend, addend73);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum73, sum_data, 32) != 0 || carry73 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend74[32] = {0x64,0xb0,0xbb,0x14,0x2f,0x21,0x7e,0x72,0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc8,0x98,0x9b,0xc9,0xdc};
    static std::uint32_t addend74     = 3794962836;
    static std::uint8_t  sum74[32]    = {0x64,0xb0,0xbb,0x14,0x2f,0x21,0x7e,0x72,0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc9,0x7a,0xce,0x53,0x70};
    static int           carry74      = 0;
    uint256_from_bytes(augend, augend74);
    carry = uint256_add_carry_uint32(sum, augend, addend74);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum74, sum_data, 32) != 0 || carry74 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend75[32] = {0x30,0xd0,0xa2,0xb8,0x54,0x49,0x40,0xe1,0x2a,0x66,0xf9,0x13,0xee,0x7d,0x0a,0xe2,0x14,0x51,0x03,0xc7,0xff,0x5e,0x1d,0x1f,0x1c,0xfb,0x0a,0x06,0xbb,0x93,0xc8,0xeb};
    static std::uint32_t addend75     = 2008394699;
    static std::uint8_t  sum75[32]    = {0x30,0xd0,0xa2,0xb8,0x54,0x49,0x40,0xe1,0x2a,0x66,0xf9,0x13,0xee,0x7d,0x0a,0xe2,0x14,0x51,0x03,0xc7,0xff,0x5e,0x1d,0x1f,0x1c,0xfb,0x0a,0x07,0x33,0x49,0x74,0xb6};
    static int           carry75      = 0;
    uint256_from_bytes(augend, augend75);
    carry = uint256_add_carry_uint32(sum, augend, addend75);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum75, sum_data, 32) != 0 || carry75 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend76[32] = {0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83,0x5f,0xb6,0xd6,0x25,0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x4f,0xd3,0xe7,0x58};
    static std::uint32_t addend76     = 726970231;
    static std::uint8_t  sum76[32]    = {0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83,0x5f,0xb6,0xd6,0x25,0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x7b,0x28,0x96,0xcf};
    static int           carry76      = 0;
    uint256_from_bytes(augend, augend76);
    carry = uint256_add_carry_uint32(sum, augend, addend76);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum76, sum_data, 32) != 0 || carry76 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend77[32] = {0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79,0x14,0xac,0xe1,0xcb,0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0x00,0xbc,0x22,0xcb};
    static std::uint32_t addend77     = 3259042513;
    static std::uint8_t  sum77[32]    = {0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79,0x14,0xac,0xe1,0xcb,0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0xc2,0xfd,0x2d,0x9c};
    static int           carry77      = 0;
    uint256_from_bytes(augend, augend77);
    carry = uint256_add_carry_uint32(sum, augend, addend77);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum77, sum_data, 32) != 0 || carry77 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend78[32] = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73,0x61,0x50,0x2d,0xee};
    static std::uint32_t addend78     = 2033512632;
    static std::uint8_t  sum78[32]    = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73,0xda,0x85,0x1e,0xa6};
    static int           carry78      = 0;
    uint256_from_bytes(augend, augend78);
    carry = uint256_add_carry_uint32(sum, augend, addend78);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum78, sum_data, 32) != 0 || carry78 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend79[32] = {0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74,0x3f,0x7d,0xc8,0x6b,0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x79,0x7b,0x15,0x38};
    static std::uint32_t addend79     = 174588221;
    static std::uint8_t  sum79[32]    = {0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74,0x3f,0x7d,0xc8,0x6b,0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x83,0xe3,0x16,0x75};
    static int           carry79      = 0;
    uint256_from_bytes(augend, augend79);
    carry = uint256_add_carry_uint32(sum, augend, addend79);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum79, sum_data, 32) != 0 || carry79 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend80[32] = {0xec,0x9a,0x36,0x0c,0x51,0x05,0x12,0x2a,0xb0,0x88,0x24,0x11,0xb7,0x75,0x70,0xa4,0xbf,0x16,0x8d,0xa7,0x43,0x1d,0xbc,0x3f,0x0b,0x28,0x6c,0x70,0x9d,0xf2,0x4d,0x5e};
    static std::uint32_t addend80     = 1277348535;
    static std::uint8_t  sum80[32]    = {0xec,0x9a,0x36,0x0c,0x51,0x05,0x12,0x2a,0xb0,0x88,0x24,0x11,0xb7,0x75,0x70,0xa4,0xbf,0x16,0x8d,0xa7,0x43,0x1d,0xbc,0x3f,0x0b,0x28,0x6c,0x70,0xea,0x15,0x18,0x15};
    static int           carry80      = 0;
    uint256_from_bytes(augend, augend80);
    carry = uint256_add_carry_uint32(sum, augend, addend80);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum80, sum_data, 32) != 0 || carry80 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend81[32] = {0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06,0xb8,0xb8,0xf2,0x70};
    static std::uint32_t addend81     = 1004447939;
    static std::uint8_t  sum81[32]    = {0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06,0xf4,0x97,0x9b,0x33};
    static int           carry81      = 0;
    uint256_from_bytes(augend, augend81);
    carry = uint256_add_carry_uint32(sum, augend, addend81);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum81, sum_data, 32) != 0 || carry81 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend82[32] = {0xca,0x30,0x42,0x18,0x62,0xf2,0xa2,0x1b,0xc6,0xbf,0x4f,0xa2,0xf4,0x33,0x7b,0xd1,0x77,0x3a,0xfe,0x02,0xf4,0xef,0x61,0x42,0xb7,0x2f,0xac,0x4a,0x79,0xa5,0xfd,0x62};
    static std::uint32_t addend82     = 3923641465;
    static std::uint8_t  sum82[32]    = {0xca,0x30,0x42,0x18,0x62,0xf2,0xa2,0x1b,0xc6,0xbf,0x4f,0xa2,0xf4,0x33,0x7b,0xd1,0x77,0x3a,0xfe,0x02,0xf4,0xef,0x61,0x42,0xb7,0x2f,0xac,0x4b,0x63,0x84,0x01,0xdb};
    static int           carry82      = 0;
    uint256_from_bytes(augend, augend82);
    carry = uint256_add_carry_uint32(sum, augend, addend82);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum82, sum_data, 32) != 0 || carry82 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend83[32] = {0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9,0xb1,0x2e,0x1d,0xe2,0xd2,0xa0,0x16,0x9d,0x4d,0xa6,0x09,0x90,0xbd,0x0d,0x8c,0xfe};
    static std::uint32_t addend83     = 3699007837;
    static std::uint8_t  sum83[32]    = {0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9,0xb1,0x2e,0x1d,0xe2,0xd2,0xa0,0x16,0x9d,0x4d,0xa6,0x09,0x91,0x99,0x87,0xee,0x5b};
    static int           carry83      = 0;
    uint256_from_bytes(augend, augend83);
    carry = uint256_add_carry_uint32(sum, augend, addend83);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum83, sum_data, 32) != 0 || carry83 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend84[32] = {0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14,0x5c,0xa2,0xc1,0x32,0x75,0xf5,0xc1,0xa0};
    static std::uint32_t addend84     = 3233619332;
    static std::uint8_t  sum84[32]    = {0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14,0x5c,0xa2,0xc1,0x33,0x36,0xb2,0xdf,0x24};
    static int           carry84      = 0;
    uint256_from_bytes(augend, augend84);
    carry = uint256_add_carry_uint32(sum, augend, addend84);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum84, sum_data, 32) != 0 || carry84 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend85[32] = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x3f,0x4f,0x8b,0x9d};
    static std::uint32_t addend85     = 309946508;
    static std::uint8_t  sum85[32]    = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x51,0xc8,0xf4,0x29};
    static int           carry85      = 0;
    uint256_from_bytes(augend, augend85);
    carry = uint256_add_carry_uint32(sum, augend, addend85);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum85, sum_data, 32) != 0 || carry85 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend86[32] = {0x27,0x40,0x1f,0xa0,0x3c,0x49,0xfd,0xbd,0x3e,0xce,0x9f,0x2c,0x2f,0x8c,0x6c,0x08,0x3f,0x57,0x83,0xea,0x70,0x7c,0x5f,0x3d,0x32,0xfe,0x1f,0x36,0x42,0xa5,0x51,0x62};
    static std::uint32_t addend86     = 2483696951;
    static std::uint8_t  sum86[32]    = {0x27,0x40,0x1f,0xa0,0x3c,0x49,0xfd,0xbd,0x3e,0xce,0x9f,0x2c,0x2f,0x8c,0x6c,0x08,0x3f,0x57,0x83,0xea,0x70,0x7c,0x5f,0x3d,0x32,0xfe,0x1f,0x36,0xd6,0xaf,0x86,0x99};
    static int           carry86      = 0;
    uint256_from_bytes(augend, augend86);
    carry = uint256_add_carry_uint32(sum, augend, addend86);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum86, sum_data, 32) != 0 || carry86 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend87[32] = {0x86,0xbc,0x2b,0x99,0x81,0xe0,0x04,0xfb,0x3e,0xf6,0x87,0x56,0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x53,0x8a,0xe1,0xc1};
    static std::uint32_t addend87     = 159013186;
    static std::uint8_t  sum87[32]    = {0x86,0xbc,0x2b,0x99,0x81,0xe0,0x04,0xfb,0x3e,0xf6,0x87,0x56,0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x5d,0x05,0x3b,0x03};
    static int           carry87      = 0;
    uint256_from_bytes(augend, augend87);
    carry = uint256_add_carry_uint32(sum, augend, addend87);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum87, sum_data, 32) != 0 || carry87 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend88[32] = {0xea,0x14,0x84,0x3a,0x72,0xc3,0x9a,0x28,0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x59,0x01,0x26,0x64,0xf6};
    static std::uint32_t addend88     = 1261335109;
    static std::uint8_t  sum88[32]    = {0xea,0x14,0x84,0x3a,0x72,0xc3,0x9a,0x28,0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x59,0x4c,0x54,0xd7,0x3b};
    static int           carry88      = 0;
    uint256_from_bytes(augend, augend88);
    carry = uint256_add_carry_uint32(sum, augend, addend88);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum88, sum_data, 32) != 0 || carry88 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend89[32] = {0xd0,0x93,0x0b,0x64,0x34,0x14,0xc2,0xdc,0xe9,0xf8,0xf7,0x1f,0xa6,0xd2,0x10,0x40,0xbb,0x73,0x52,0xc1,0x99,0x73,0xcf,0x5c,0x09,0xc9,0xd5,0x92,0x41,0x42,0x05,0xc6};
    static std::uint32_t addend89     = 3516861417;
    static std::uint8_t  sum89[32]    = {0xd0,0x93,0x0b,0x64,0x34,0x14,0xc2,0xdc,0xe9,0xf8,0xf7,0x1f,0xa6,0xd2,0x10,0x40,0xbb,0x73,0x52,0xc1,0x99,0x73,0xcf,0x5c,0x09,0xc9,0xd5,0x93,0x12,0xe1,0x11,0xaf};
    static int           carry89      = 0;
    uint256_from_bytes(augend, augend89);
    carry = uint256_add_carry_uint32(sum, augend, addend89);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum89, sum_data, 32) != 0 || carry89 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend90[32] = {0x34,0x12,0x88,0x22,0x13,0xf3,0x88,0x70,0x4f,0xec,0x0f,0x40,0x9e,0xfa,0xc2,0x92,0x2f,0x65,0xab,0x4e,0x5f,0x2e,0xe4,0x0d,0xad,0xa6,0x5c,0xc4,0x68,0xb3,0xe3,0xaa};
    static std::uint32_t addend90     = 3415706595;
    static std::uint8_t  sum90[32]    = {0x34,0x12,0x88,0x22,0x13,0xf3,0x88,0x70,0x4f,0xec,0x0f,0x40,0x9e,0xfa,0xc2,0x92,0x2f,0x65,0xab,0x4e,0x5f,0x2e,0xe4,0x0d,0xad,0xa6,0x5c,0xc5,0x34,0x4b,0x6f,0x8d};
    static int           carry90      = 0;
    uint256_from_bytes(augend, augend90);
    carry = uint256_add_carry_uint32(sum, augend, addend90);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum90, sum_data, 32) != 0 || carry90 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend91[32] = {0xb2,0x06,0x1e,0xcc,0x65,0xd4,0x64,0xfd,0x29,0xe7,0x8b,0x06,0xa7,0x2e,0xd5,0x08,0x17,0x55,0xc6,0xde,0x88,0xb4,0x09,0xc8,0xa3,0xa1,0x6d,0x92,0x27,0x90,0xbb,0x01};
    static std::uint32_t addend91     = 1321113728;
    static std::uint8_t  sum91[32]    = {0xb2,0x06,0x1e,0xcc,0x65,0xd4,0x64,0xfd,0x29,0xe7,0x8b,0x06,0xa7,0x2e,0xd5,0x08,0x17,0x55,0xc6,0xde,0x88,0xb4,0x09,0xc8,0xa3,0xa1,0x6d,0x92,0x76,0x4f,0x53,0x81};
    static int           carry91      = 0;
    uint256_from_bytes(augend, augend91);
    carry = uint256_add_carry_uint32(sum, augend, addend91);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum91, sum_data, 32) != 0 || carry91 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend92[32] = {0x6a,0x01,0x26,0x0f,0x5b,0x70,0x42,0xdf,0xe2,0x39,0xd3,0xd7,0x91,0x07,0x75,0x6f,0xbe,0xce,0x71,0x45,0x4f,0xf6,0xf2,0xc5,0x0d,0x25,0xf9,0x54,0xf4,0x04,0x2f,0x1e};
    static std::uint32_t addend92     = 3445508768;
    static std::uint8_t  sum92[32]    = {0x6a,0x01,0x26,0x0f,0x5b,0x70,0x42,0xdf,0xe2,0x39,0xd3,0xd7,0x91,0x07,0x75,0x6f,0xbe,0xce,0x71,0x45,0x4f,0xf6,0xf2,0xc5,0x0d,0x25,0xf9,0x55,0xc1,0x62,0x79,0xbe};
    static int           carry92      = 0;
    uint256_from_bytes(augend, augend92);
    carry = uint256_add_carry_uint32(sum, augend, addend92);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum92, sum_data, 32) != 0 || carry92 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend93[32] = {0x01,0x81,0x20,0xf8,0xf1,0x26,0x16,0x42,0x34,0x23,0x88,0x0b,0x67,0xac,0x56,0xf8,0xba,0x60,0x49,0x1e,0x64,0x06,0xf4,0x58,0x32,0x7b,0xcd,0xa3,0xa4,0xfc,0x86,0x21};
    static std::uint32_t addend93     = 3872473880;
    static std::uint8_t  sum93[32]    = {0x01,0x81,0x20,0xf8,0xf1,0x26,0x16,0x42,0x34,0x23,0x88,0x0b,0x67,0xac,0x56,0xf8,0xba,0x60,0x49,0x1e,0x64,0x06,0xf4,0x58,0x32,0x7b,0xcd,0xa4,0x8b,0xcd,0xc9,0x39};
    static int           carry93      = 0;
    uint256_from_bytes(augend, augend93);
    carry = uint256_add_carry_uint32(sum, augend, addend93);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum93, sum_data, 32) != 0 || carry93 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend94[32] = {0x5d,0x5e,0xc1,0xad,0xe2,0x01,0xaa,0xfd,0x93,0xea,0x6a,0x94,0x67,0xfd,0xe1,0xc3,0x17,0x2a,0x39,0x0a,0xd2,0x03,0xac,0xfe,0x1d,0x10,0xe9,0x31,0x6c,0x7b,0x31,0xe2};
    static std::uint32_t addend94     = 3320243759;
    static std::uint8_t  sum94[32]    = {0x5d,0x5e,0xc1,0xad,0xe2,0x01,0xaa,0xfd,0x93,0xea,0x6a,0x94,0x67,0xfd,0xe1,0xc3,0x17,0x2a,0x39,0x0a,0xd2,0x03,0xac,0xfe,0x1d,0x10,0xe9,0x32,0x32,0x62,0x18,0x11};
    static int           carry94      = 0;
    uint256_from_bytes(augend, augend94);
    carry = uint256_add_carry_uint32(sum, augend, addend94);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum94, sum_data, 32) != 0 || carry94 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend95[32] = {0xe8,0xe8,0x4b,0x0d,0xce,0x74,0xb3,0xc4,0xa4,0x02,0xbb,0x72,0x24,0x7a,0xab,0xb5,0x8d,0x32,0x3d,0x9e,0x0d,0x3b,0xe8,0xee,0x03,0xcc,0x2f,0x9b,0x21,0x46,0x0c,0x5a};
    static std::uint32_t addend95     = 2166652372;
    static std::uint8_t  sum95[32]    = {0xe8,0xe8,0x4b,0x0d,0xce,0x74,0xb3,0xc4,0xa4,0x02,0xbb,0x72,0x24,0x7a,0xab,0xb5,0x8d,0x32,0x3d,0x9e,0x0d,0x3b,0xe8,0xee,0x03,0xcc,0x2f,0x9b,0xa2,0x6a,0x8a,0x2e};
    static int           carry95      = 0;
    uint256_from_bytes(augend, augend95);
    carry = uint256_add_carry_uint32(sum, augend, addend95);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum95, sum_data, 32) != 0 || carry95 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend96[32] = {0x11,0x2d,0x40,0x95,0xec,0xed,0x8d,0xed,0x2b,0xfa,0x1f,0x10,0x85,0x6a,0xab,0x1d,0x29,0x6c,0xb0,0x8c,0x48,0x86,0x05,0x8b,0x59,0x12,0xeb,0x60,0x25,0x58,0xd6,0xc0};
    static std::uint32_t addend96     = 1648128206;
    static std::uint8_t  sum96[32]    = {0x11,0x2d,0x40,0x95,0xec,0xed,0x8d,0xed,0x2b,0xfa,0x1f,0x10,0x85,0x6a,0xab,0x1d,0x29,0x6c,0xb0,0x8c,0x48,0x86,0x05,0x8b,0x59,0x12,0xeb,0x60,0x87,0x95,0x47,0x8e};
    static int           carry96      = 0;
    uint256_from_bytes(augend, augend96);
    carry = uint256_add_carry_uint32(sum, augend, addend96);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum96, sum_data, 32) != 0 || carry96 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend97[32] = {0x95,0x26,0xe3,0xd0,0x4e,0xe6,0xf4,0xff,0x6b,0x89,0xd4,0x63,0xa6,0x26,0xb0,0x97,0x4e,0x64,0x0c,0xd4,0xc7,0x30,0xa7,0xcb,0xa0,0x85,0xda,0x1f,0xd9,0x58,0xb1,0xe6};
    static std::uint32_t addend97     = 1828538688;
    static std::uint8_t  sum97[32]    = {0x95,0x26,0xe3,0xd0,0x4e,0xe6,0xf4,0xff,0x6b,0x89,0xd4,0x63,0xa6,0x26,0xb0,0x97,0x4e,0x64,0x0c,0xd4,0xc7,0x30,0xa7,0xcb,0xa0,0x85,0xda,0x20,0x46,0x55,0xfb,0x26};
    static int           carry97      = 0;
    uint256_from_bytes(augend, augend97);
    carry = uint256_add_carry_uint32(sum, augend, addend97);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum97, sum_data, 32) != 0 || carry97 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend98[32] = {0x11,0x2e,0xd1,0xdf,0x1b,0x69,0x56,0x7e,0x66,0x7c,0xd6,0x0b,0x79,0x24,0xde,0xde,0xcf,0x7e,0xda,0x11,0x2d,0xf8,0x3c,0x66,0xd6,0x27,0xd2,0xb8,0x75,0x52,0x6e,0x31};
    static std::uint32_t addend98     = 1540068208;
    static std::uint8_t  sum98[32]    = {0x11,0x2e,0xd1,0xdf,0x1b,0x69,0x56,0x7e,0x66,0x7c,0xd6,0x0b,0x79,0x24,0xde,0xde,0xcf,0x7e,0xda,0x11,0x2d,0xf8,0x3c,0x66,0xd6,0x27,0xd2,0xb8,0xd1,0x1e,0x01,0xa1};
    static int           carry98      = 0;
    uint256_from_bytes(augend, augend98);
    carry = uint256_add_carry_uint32(sum, augend, addend98);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum98, sum_data, 32) != 0 || carry98 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
    static std::uint8_t  augend99[32] = {0x0a,0x6f,0xb1,0x54,0xa8,0x37,0x6d,0xcd,0x82,0x99,0xed,0x6e,0x81,0x1c,0x8f,0xa7,0x71,0x24,0xc2,0x05,0xcd,0x62,0x5a,0x7f,0x17,0x7a,0x83,0x34,0x5d,0x86,0x6b,0x34};
    static std::uint32_t addend99     = 2733476194;
    static std::uint8_t  sum99[32]    = {0x0a,0x6f,0xb1,0x54,0xa8,0x37,0x6d,0xcd,0x82,0x99,0xed,0x6e,0x81,0x1c,0x8f,0xa7,0x71,0x24,0xc2,0x05,0xcd,0x62,0x5a,0x7f,0x17,0x7a,0x83,0x35,0x00,0x73,0xf4,0x96};
    static int           carry99      = 0;
    uint256_from_bytes(augend, augend99);
    carry = uint256_add_carry_uint32(sum, augend, addend99);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum99, sum_data, 32) != 0 || carry99 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry_uint32");
    }
}
